Pure intersection types
実装されたバージョン:
PHP 8.1
PHP RFC: Pure intersection types
提案者:
Girgias
A&B
や
A&B&C
のように
&
からなる制限された
交叉型
による型宣言のこと。
@pure
(
純粋関数
)とは関係ない。
PHP 8.1時点では
()
によるグルーピングや
|
との組み合せはサポートされていないが、
PHP 8.2
では
DNF型
として
ユニオン型
と組み合せて利用可能になった。